Buy Used and New Alessandro Cimatti Books

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by

ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 (Lecture Notes in Computer Science)

by Alessandro Cimatti,Marjan Sirjani

ISBN 13: 9783319661964

Format: Paperback (432 pages)
Publisher: Springer
Published: 16 Sep 2017

Save for later